//
//  vm_kernel.c
//  vm
//
//  Created by jintao on 2020/1/14.
//  Copyright © 2020 jintao. All rights reserved.
//

#include "vm_kernel.h"

void* kern_malloc(uint64_t size){
    return 0;
}

void kern_free(void* ptr) {
    
}
